-
1 negation-as-failure
Программирование: отрицание как неудача (правило в логическом программировании; см. напр. Introduction to logic programming by Ghristopher John Hogger) -
2 negation by failure
ошибочное отрицание (напр., выдача отрицательного ответа на запрос по причине неполноты базы данных)English-Russian dictionary of computer science and programming > negation by failure
-
3 NAF
1) Компьютерная техника: Non Adjacent Form, Not Another Font2) Военный термин: Naval Air Forces, Non Appropriated Funds, Numbered Air Forces, naval air facility, nonappropriated fund, numbered air force3) Техника: naval avionics facility4) Химия: Newark Air Force5) Юридический термин: National Arbitration Forum6) Сокращение: Naval Aircraft Factory, Nigerian Air Force, Non-Appropriated Fund, Network Access Facility (-ies)7) Физиология: Nipple Aspirate Fluid8) Вычислительная техника: network address folding9) Иммунология: natural activating factor10) Фирменный знак: North American Fiberglass11) Деловая лексика: Negation As Failure12) Сетевые технологии: network access facility, средства доступа к сети13) Полупроводники: natural antiferromagnet14) Нефть и газ: (сокр от) non-aqueous fluid = жидкость на неводной основе (напр., основа для буровых растворов или жидкостей гидроразрыва)15) Общественная организация: National AIDS Forum, National AIDS Fund, National Abortion Federation, National Academy Foundation, National Ataxia Foundation16) Чат: Nice And Fuzzy -
4 naf
1) Компьютерная техника: Non Adjacent Form, Not Another Font2) Военный термин: Naval Air Forces, Non Appropriated Funds, Numbered Air Forces, naval air facility, nonappropriated fund, numbered air force3) Техника: naval avionics facility4) Химия: Newark Air Force5) Юридический термин: National Arbitration Forum6) Сокращение: Naval Aircraft Factory, Nigerian Air Force, Non-Appropriated Fund, Network Access Facility (-ies)7) Физиология: Nipple Aspirate Fluid8) Вычислительная техника: network address folding9) Иммунология: natural activating factor10) Фирменный знак: North American Fiberglass11) Деловая лексика: Negation As Failure12) Сетевые технологии: network access facility, средства доступа к сети13) Полупроводники: natural antiferromagnet14) Нефть и газ: (сокр от) non-aqueous fluid = жидкость на неводной основе (напр., основа для буровых растворов или жидкостей гидроразрыва)15) Общественная организация: National AIDS Forum, National AIDS Fund, National Abortion Federation, National Academy Foundation, National Ataxia Foundation16) Чат: Nice And Fuzzy -
5 abnegation
отказ имя существительное: -
6 denial
отказ имя существительное:запирательство (denial, obstinate silence)отпирательство (denial, disavowal) -
7 disavowal
-
8 negative
отрицательный имя прилагательное:негативный (negative, negatory)имя существительное:отрицательный ответ (negative, nay)глагол: -
9 no
-
10 denegation
отрицание имя существительное: -
11 operation
1) действие2) операция3) оперирование4) процесс, ход5) работа, функционирование6) срабатывание7) управление8) эксплуатация•- hereditarily recursive operationoperation under VFR — авиац. визуальное самолётовождение
-
12 quality
1. n качество, сорт; свойство2. n уровень качества, класс, калибр3. n высокое качество; достоинство, ценность4. n часто качество, свойство, признак; характерная особенностьa person of excellent qualities — человек, обладающий прекрасными качествами
5. n физ. тембр6. n уст. знатность; положение в обществеpeople of quality — высшее общество, аристократия, знать, господа
7. n уст. знать8. a высококачественный, высокого качестваcertified quality — качество, подтвержденное сертификатом
Синонимический ряд:1. excellent (adj.) A1; bang-up; banner; blue-ribbon; bully; capital; champion; choice; classic; classical; excellent; famous; fine; first-class; first-rate; first-string; five-star; front-rank; Grade A; number one; outstanding; par excellence; prime; royal; select; skookum; sovereign; stunning; superior; top; top-notch; whiz-bang2. accomplishment (noun) accomplishment; attainment; deed; feat3. aristocracies (noun) aristocracies; blue bloods; carriage trade; creme de la creme; elites; flowers; gentilities; gentries; patriciates; societies; upper classes; upper crusts4. aristocracy (noun) aristocracy; aristoi; blue blood; elite; flower; gentility; gentry; haut monde; optimacy; patriciate; society; upper class; upper crust; who's who5. distinction (noun) distinction; superiority6. excellence (noun) arete; excellence; excellency; perfection7. property (noun) affection; attribute; character; characteristic; feature; mark; peculiarity; property; savor; savour; trait8. rank (noun) caliber; calibre; class; condition; description; grade; kind; merit; rank; refinement; stature; value; virtue; worth9. status (noun) capacity; footing; place; position; situation; standing; state; station; statusАнтонимический ряд:disqualification; failure; incapacity; inferior; inferiority; negation; nondescript; weakness
См. также в других словарях:
Negation as failure — Négation par l échec La négation par l échec (en anglais NAF pour negation as failure, ou NBF pour negation by failure) est une règle d inférence non monotone en programmation logique, utilisée pour la dérivation de à partir de l échec de la… … Wikipédia en Français
Negation by failure — Négation par l échec La négation par l échec (en anglais NAF pour negation as failure, ou NBF pour negation by failure) est une règle d inférence non monotone en programmation logique, utilisée pour la dérivation de à partir de l échec de la… … Wikipédia en Français
Negation as failure — (NAF, for short) is a non monotonic inference rule in logic programming, used to derive (i.e. that is assumed not to hold) from failure to derive . Note that can be different from the statement of the logical negation of … Wikipedia
Negation par l'echec — Négation par l échec La négation par l échec (en anglais NAF pour negation as failure, ou NBF pour negation by failure) est une règle d inférence non monotone en programmation logique, utilisée pour la dérivation de à partir de l échec de la… … Wikipédia en Français
Négation par l'échec — La négation par l échec (en anglais NAF pour negation as failure, ou NBF pour negation by failure) est une règle d inférence non monotone en programmation logique, utilisée pour la dérivation de à partir de l échec de la dérivation de p. C est… … Wikipédia en Français
Negation — For other uses, see Negation (disambiguation). In logic and mathematics, negation, also called logical complement, is an operation on propositions, truth values, or semantic values more generally. Intuitively, the negation of a proposition is… … Wikipedia
Of Fracture and Failure — Studio album by Ulcerate Released 2007 … Wikipedia
Logic programming — is, in its broadest sense, the use of mathematical logic for computer programming. In this view of logic programming, which can be traced at least as far back as John McCarthy s [1958] advice taker proposal, logic is used as a purely declarative… … Wikipedia
Stable model semantics — The concept of a stable model, or answer set, is used to define a declarative semantics for logic programs with negation as failure. This is one of several standard approaches to the meaning of negation in logic programming, along with program… … Wikipedia
Planner (programming language) — Planner (often seen in publications as PLANNER although it is not an acronym) is a programming language designed by Carl Hewitt at MIT, and first published in 1969. First, subsets such as Micro Planner and Pico Planner were implemented, and then… … Wikipedia
Closed world assumption — The closed world assumption (CWA) is the presumption that what is not currently known to be true, is false. The same name also refers to a logical formalization of this assumption by Raymond Reiter. The opposite of the closed world assumption is… … Wikipedia
